#include <stdio.h>
#include <stdlib.h>
#include "2.h"
#define DEBUG
int main()
{
	debug ("Top of RAM usable for U-Boot at: 0x00008888 \n");
}
